Research on Operation Conflict of Auxiliary Transport Locomotive in Complex Mine Based on Extended Petri Net

Aiming at the operation conflict problem of multi-objective, multi-path and multi-vehicle relay during mine locomotive under complex geological conditions, a modeling method based on an object-oriented stratified timed Petri net is proposed. In order to load transport materials as object oriented, which are combined with rules time constraints, underground roadway route carried out. addition, given token parameters describe dynamic behavior locomotive, through model analyze correlation matrix accessibility tree analysis used study conflict. Taking actual in Guizhou example, was established detect interval conflicts. The experimental results show that proposed effective feasible, have important application value safe production system.